Computer data

Results: 44615



#Item
181

Aachen Department of Computer Science Technical Report Automated Termination Proofs for Java Programs with Cyclic Data

Add to Reading List

Source URL: sunsite.informatik.rwth-aachen.de

- Date: 2012-05-22 07:43:15
    182

    Towards Hybrid Online On-Demand Querying of Realtime Data with Stateful Complex Event Processing Qunzhi Zhou Department of Computer Science University of Southern California Los Angeles, USA

    Add to Reading List

    Source URL: ganges.usc.edu

    - Date: 2016-06-27 14:53:00
      183

      Separation Logic: A Logic for Shared Mutable Data Structures John C. Reynolds∗ Computer Science Department Carnegie Mellon University

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2015-06-23 07:14:34
        184

        Privacy Implications of Location and Contextual Data on the Social Web Aristea M. Zafeiropoulou, David Millard, Craig Webber†, Kieron OʼHara † School of Electronics and Computer Science

        Add to Reading List

        Source URL: www.websci11.org

        - Date: 2016-03-15 09:54:51
          185

          Random Manhattan Indexing Behrang QasemiZadeh∗ and Siegfried Handschuh∗† ∗ Insight Centre for Data Analytics, National University of Ireland, Galway, Ireland † Department of Computer Science and Mathematics, Un

          Add to Reading List

          Source URL: pars.ie

          - Date: 2015-10-23 08:41:37
            186

            SPATIAL SIMPLIFICATION OF INPUT DATA FOR HYDROLOGIC MODELS: ITS EFFECT ON MAP ACCURACY AND MODEL RESULTS Casson Staliings Casson_Stallings@ncsu. edu Computer Graphics Center, Department of Forestry Siamak Khorram

            Add to Reading List

            Source URL: mapcontext.com

              187

              Corporate Overview Company data (as of March 31, 2012) Name: Casio Computer Co., Ltd. Headquarters: 1-6-2, Hon-machi, Shibuya-ku, Tokyo, Japan Tel.: +

              Add to Reading List

              Source URL: arch.casio.com

              - Date: 2016-05-23 03:39:05
                188

                Build and Maintain a Secure Network and Systems Requirement 1: Install and maintain a firewall configuration to protect cardholder data Firewalls are devices that control computer traffic allowed between an entity’s ne

                Add to Reading List

                Source URL: examples.complianceforge.com

                - Date: 2016-07-28 21:18:26
                  189

                  Journal of Virtual Reality and Broadcasting, Volume), no. 3 Automatic Data Normalization and Parameterization for Optical Motion Tracking Sandip Sar Dessai, Alexander Hornung, Leif Kobbelt Computer Graphics Group

                  Add to Reading List

                  Source URL: www.ahornung.net

                  - Date: 2014-11-19 12:57:29
                    190

                    CALL FOR PAPERS/INVITATION TO SPECIAL SESSION INTELLIGENT METHODS FOR DATA ANALYSIS AND COMPUTER AIDED SOFTWARE ENGINEERING 22nd International Conference on Information and Software Technologies October 13th–15th, 2016

                    Add to Reading List

                    Source URL: oras.if.ktu.lt

                    - Date: 2016-05-02 06:52:56
                      UPDATE